/*
 * task.h
 *
 *  Created on: 30/11/2010
 *      Author: wendell
 */

#ifndef TASK_H_
#define TASK_H_

void switch_to_user_mode();

#endif /* TASK_H_ */
